An aproach for the verification of multi-agent systems by formally guided simulations (2013)
Source: Proceedings. Conference titles: IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT. Unidade: IME
Subjects: SISTEMAS MULTIAGENTES, BEHAVIORISMO, COMPORTAMENTO SOCIAL, REDES SOCIAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. An aproach for the verification of multi-agent systems by formally guided simulations. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/WI-IAT.2013.119. Acesso em: 01 maio 2024.APA
Silva, P. S. da, & Melo, A. C. V. de. (2013). An aproach for the verification of multi-agent systems by formally guided simulations. In Proceedings. Piscataway: IEEE. doi:10.1109/WI-IAT.2013.119NLM
Silva PS da, Melo ACV de. An aproach for the verification of multi-agent systems by formally guided simulations [Internet]. Proceedings. 2013 ;[citado 2024 maio 01 ] Available from: https://doi.org/10.1109/WI-IAT.2013.119Vancouver
Silva PS da, Melo ACV de. An aproach for the verification of multi-agent systems by formally guided simulations [Internet]. Proceedings. 2013 ;[citado 2024 maio 01 ] Available from: https://doi.org/10.1109/WI-IAT.2013.119
